DEF=no-dup-rules
EXT=ndr
TESTDIR=.

include ../../../include/kframework/ktest.mak
